#ifndef WDT_H
#define WDT_H

#include "system_config.h"
#include "device.h"


#ifdef HAS_WDT0
void wdt0_init(unsigned int tick, void callback());
void wdt0_start();
void wdt0_stop();
#endif


#endif // WDT_H